diff --git a/doc/user_guide/user_guide.pdf b/doc/user_guide/user_guide.pdf index 9dc8186d..89e69412 100644 Binary files a/doc/user_guide/user_guide.pdf and b/doc/user_guide/user_guide.pdf differ