Tiny cleanup of comments.