diff --git a/doc/user_guide.pdf b/doc/user_guide.pdf index 5cefef88..fb65140f 100644 Binary files a/doc/user_guide.pdf and b/doc/user_guide.pdf differ