Fix to run in earlier versions of Python.