Update doc.py