Fix a botched comment.