Corrected demo.tex.