Tiny cleanups of comments.