Kleine aanpassing in index.php