Fix typo in flat.tex