Update odoc.py