Small style changes in comments.