Missing semicolon in bookmarklet-dev.js