whitespace cosmetics: Correctly indent all comments.