Minor whitespace/comment fixes