GUI tweak in index.html.