Embarrassing typo in PDF