This deletion looks like it came from a bad merge with master