some minor cleanup in index.php to make it presentable.