run/index.html: typos