diff --git a/doc/src/sgml/user-manag.sgml b/doc/src/sgml/user-manag.sgml
index 11b0b93f21..fc836d5748 100644
--- a/doc/src/sgml/user-manag.sgml
+++ b/doc/src/sgml/user-manag.sgml
@@ -244,7 +244,7 @@ CREATE USER name;
A role inherits the privileges of roles it is a member of, by default.
However, to create a role which does not inherit privileges by
default, use CREATE ROLE name
- NOINHERIT. Alternatively, inheritance can be overriden
+ NOINHERIT. Alternatively, inheritance can be overridden
for individual grants by using WITH INHERIT TRUE
or WITH INHERIT FALSE.