fixed miscellaneous typos in index.php