vc-revert-buffer bug