fix an old copy&paste error