Work around a js minification bug.