Update for 2.72 Python API change