fixed bad commit on index.php, restored to HEAD^