Misc tidying of comments.