Replaced current.tex with Graton's version.