minor tweaks in index.php