Minify JS, related to #1485 and #1486