Typo in topology.tex