Fix bad copy-paste.