diff --git a/doc/compiled_docs/user_guide.pdf b/doc/compiled_docs/user_guide.pdf
index 5e90a35cf..7ae34d8c4 100644
Binary files a/doc/compiled_docs/user_guide.pdf and b/doc/compiled_docs/user_guide.pdf differ