fixed a broken include in Python module