Bug fix in bookmarklet.