fix over uglification in bookmarklet