Hm, indeed a copy&paste error, right.