An annoying misfeature of AJAX web applications