Typo fixes and small cosmetical improvements.