fix up JS file to appease the YUI compressor