diff --git a/quickcheck/documentation/DesignSpec.odt b/quickcheck/documentation/DesignSpec.odt
index 53c25c813..ea6a6a72f 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 f107f3f76..9112fff1c 100644
Binary files a/quickcheck/documentation/DesignSpec.pdf and b/quickcheck/documentation/DesignSpec.pdf differ