Added auto-revert-mode