apparently some old guide.tex edits were still lying around