Fix mistaken introduction of tabs into Python.