Minor updates in the comments.