Minor fixes for comments.