Forgot to produce PDF from latest LaTeX file.