Minor bug fix in index.php