Amendments to documentation in index.php