Fix indices in formal-spaces.tex