small html update in index.php