Fixing the PDF annotations

Last time I screwed up annotations in PDF, due to a small error, here's the fix.