typo in basic.tex