index.html: Correction of some details