Fix a forgotten comment.