Removed spurious file.