diff --git a/quickcheck/documentation/DesignSpec.odt b/quickcheck/documentation/DesignSpec.odt
index f07d64465..53c25c813 100644
Binary files a/quickcheck/documentation/DesignSpec.odt and b/quickcheck/documentation/DesignSpec.odt differ
diff --git a/quickcheck/documentation/DesignSpec.pdf b/quickcheck/documentation/DesignSpec.pdf
index 1e3e16cbd..f107f3f76 100644
Binary files a/quickcheck/documentation/DesignSpec.pdf and b/quickcheck/documentation/DesignSpec.pdf differ