minor comment on index.en.html