Fixed a documentation error in proto.py