Fixed a comment (forgot to save the file before the previous commit).