Fix accidentally-edited comment.