diff --git a/doc/pdp1_doc.doc b/doc/pdp1_doc.doc index 3d475e94..91080b27 100644 Binary files a/doc/pdp1_doc.doc and b/doc/pdp1_doc.doc differ