Tiny whitespace/comment cleanup.