Fix a dirty comment