[Ipstenu (Mika Epstein)]

Dump your browser cache. That should have been fixed a couple trunks ago, and it’s fine on my site. That WAS how it was uglified mid-process