diff --git a/docs/UsersManual.rst b/docs/UsersManual.rst
index bdcd471971f076ce579e0966870bd04e205653cf..d2ded6b2d109ad6ece346bb69ea97c819ceb527e 100644
--- a/docs/UsersManual.rst
+++ b/docs/UsersManual.rst
@@ -422,7 +422,7 @@ output format of the diagnostics that it generates.
            map<
              [...],
              map<
-               [float != float],
+               [float != double],
                [...]>>>
 
 .. _cl_diag_warning_groups: