That's actually a side effect of uglify.js's beautify, I believe. I'm going to try to get rid of that in upcoming releases.