Fixed a bug in the comments.