Use minified js files, tiny js adjustment