bookmarklet.js: handle yet another way for jquery to fail