From 39d867848ec144d1a6104ba329a4ae4bf53767dd Mon Sep 17 00:00:00 2001
From: Valdnet <47037905+Valdnet@users.noreply.github.com>
Date: Wed, 27 Oct 2021 09:16:10 +0200
Subject: [PATCH] Change admin to administrator

Signed-off-by: Valdnet <47037905+Valdnet@users.noreply.github.com>
---
 user_manual/userpreferences.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user_manual/userpreferences.rst b/user_manual/userpreferences.rst
index 52fa6db9c..2cfbc0f5c 100644
--- a/user_manual/userpreferences.rst
+++ b/user_manual/userpreferences.rst
@@ -21,7 +21,7 @@ To access your personal settings:
       :alt: screenshot of user's Personal settings page
 
 .. note:: If you are an administrator, you can also manage users and administer
-   the server. These links do not appear to a non-admin user.
+   the server. These links do not appear to a non-administrator user.
 
 The options listed in the Personal Settings Page depend on the applications that
 are enabled by the administrator. Some of the features you will see