minor content modifications for index.html