hints.js: fixed bug in auto-exit timer handling