Merge "Remove spurious file"