Minified files of #1034