Update manual.php