index.html: Fix derp in code section