fixes doc/index.html