Fix a copy/paste error in a comment.