updating checkpoint.tex