panda.tex: correct typo