Bug fixing: recovering PYTHON_OPERATOR map, erased by mistake