Fixed some copy-paste errors in the comments.