python doc, minor typo