A small fix in the comments.