no idea; git diff shows me nothing