Minor fixes to python doc