Fix bug in the comment