Fix a tiny comment