Update doc.php