Refines demo.tex