maybe that's an error in the diff display?