Typos

Trivialities (whitespace, punctuation and typo)