fixDotZero in js-optimizer.js doesn't recognize hex numbers that don't end in a decimal digit. If such number appears in the code, the DOT$ZERO placeholder doesn't get removed and leaks into the resulting js.