Fix some bad copy-paste