Update colophon.tex