Deleted spurious file