- minor neatening of index.php