various typos and whitespace fixes