Fix a forgotten comment