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