Typo in formal-spaces.tex

Thanks to Scott Carnahan