diff --git a/vdmj/documentation/UserGuide.odt b/vdmj/documentation/UserGuide.odt
index dd9a741d9..88e95fa4d 100644
Binary files a/vdmj/documentation/UserGuide.odt and b/vdmj/documentation/UserGuide.odt differ
diff --git a/vdmj/documentation/UserGuide.pdf b/vdmj/documentation/UserGuide.pdf
index d7d712037..04d284f10 100644
Binary files a/vdmj/documentation/UserGuide.pdf and b/vdmj/documentation/UserGuide.pdf differ