Small edits to the comments