Fixing a cut'n'paste goof