Typo fixes from Andreas Metzler.