I forgot to update the pdf in the previous commit