git seems to think this is modified, but no diff detected!