Typo fixes

Fix some trivial typos in comments, messages and css code.