diff --git a/documentation/users_guide_4.2.pdf b/documentation/users_guide_4.2.pdf
index 5efce2bd10..2e4a7aa96f 100644
Binary files a/documentation/users_guide_4.2.pdf and b/documentation/users_guide_4.2.pdf differ