diff --git a/docs/tutorial/typesfuns.rst b/docs/tutorial/typesfuns.rst
index 83d3effffc..fa9d3698d4 100644
--- a/docs/tutorial/typesfuns.rst
+++ b/docs/tutorial/typesfuns.rst
@@ -565,7 +565,7 @@ We can also read strings from user input:
 
 A number of other I/O operations are available. For example, by adding
 ``import System.File`` to your program, you get access to functions for
-for reading and writing files, including:
+reading and writing files, including:
 
 .. code-block:: idris