fixes to index.html, favicon