Handle after-revert-hook. This should fix #44.