Minor fixes in comments.