fixed a small error in index.php