Fix really old cut&paste error