Fixes to index.php