Cosmetic fixes and typos (trivial).