Shorter auto-revert-interval