Fix a copy&paste error