Fix a comment and a lint warning.