Minor changes in syntax/comments.