Minor change to some comments in example.tex