small fix in userscript