Update bookmarklet.js

formatting problem