Small changes to the comments.