Yet another bug in generated js.