Fixing a bad copy paste