fixed minor bug in python doc