clobbered the wrong file