Adding a missing final point in dg.tex