Small changes in the translation of index.html