Typo fixes from Horst H. von Brand.