Fix copy-and-paste of wrong comment.