removed: fix of JavaScript compressor