Pass over parts of real.tex