should have noticed that the old file name had already been changed and that I was operating on the new one.