python_to_pythonjs.py fixes