Fix a copy & paste error in a comment.