Small optimization.

Use minified js.