mismatched brace in basics.tex

Responsible for this message in hott-online.log:

 (\end occurred inside a group at level 1)

 ### simple group (level 1) entered at line 714 ({)
 ### bottom level