Shorter auto-revert-mode