minified javascript, several js linting fixes