diff --git a/docs/user_guide.txt b/docs/user_guide.txt index ace4e78..cc4885f 100644 --- a/docs/user_guide.txt +++ b/docs/user_guide.txt @@ -754,7 +754,7 @@ role can be found in the