Fix bookmarklet for Safari (and other browsers with touchy JS engines)