diff --git a/missions/stdin_stdout_stderr/04_stderr_dev-null_grimoires/goal/en.txt b/missions/stdin_stdout_stderr/04_stderr_dev-null_grimoires/goal/en.txt
index 05401e2aa..3e48306a5 100644
--- a/missions/stdin_stdout_stderr/04_stderr_dev-null_grimoires/goal/en.txt
+++ b/missions/stdin_stdout_stderr/04_stderr_dev-null_grimoires/goal/en.txt
@@ -37,7 +37,7 @@ COMMAND  2>  FILE
   (The file is overwritten.)
 
 /dev/null
-  "Virtual" file that is universally empty: anything sent to it is 
+  "Virtual" file that is universally empty: anything sent to it 
   disappears.
 
 Explanations