fix bookmarklet encoding