minor changes to online.tex