index.html: some minor changes