Index.php capitalisation fix

Really really minor changes.