strangeness in index.html; maybe this fixes?