Trivial formatting changes to index.php