Correction on doc/index.html