ajaxwatch.js: coding style tweaks