another cleanup of index.html