Fix a stray comment