Minor changes to syntax of some comments.