small addition to the Python code