Tweaked project.tex.