removed extra file

that had been forgotten