small fix in JS compiler