insignificant tweaks, fixed <html> tag in index.html