Fix typo in doc/index.txt