Fix bug in js_objects.js