Minor fix on documentation index