index.html: indent fix