Fix a misplaced comment (no code change)