diff --git a/pldoc.pdf b/pldoc.pdf
index 69d3856..84074bf 100644
Binary files a/pldoc.pdf and b/pldoc.pdf differ