Oops, forgot to compile a new version of the PDF.