minor stuff on index.php