Fix to compilation error due to my .tex file (sorry!)