minor fixes to uglifyJS