Small fixes in comments.