Fixes in doc/index.tex