diff --git a/doc/vax_doc.doc b/doc/vax_doc.doc index 85901a17..ecf4691f 100644 Binary files a/doc/vax_doc.doc and b/doc/vax_doc.doc differ