diff --git a/docs/source/user/options.rst b/docs/source/user/options.rst
index 78bab1c..45948a5 100644
--- a/docs/source/user/options.rst
+++ b/docs/source/user/options.rst
@@ -565,7 +565,7 @@
 
 .. option:: --tee
 
-    Also print output to stdout if output-file has ben configured.
+    Also print output to stdout if output-file has been configured.
 
     Command-line example: