Update program.tex