Fix cut/paste error in a comment.