Fix bad copy-paste