Fix bug in js_pushlstring.