diff --git a/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki b/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki
index 3aab37e1..4aa894e6 100644
--- a/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki
+++ b/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki
@@ -36,7 +36,8 @@ feature {NONE} -- Initialisation
 				io.standard_default.put_string ("%NFermeture...%N")
 			end
 		rescue
-			if attached {OPERATING_SYSTEM_SIGNAL_FAILURE} Exception_manager.last_exception then
+			if attached {OPERATING_SYSTEM_SIGNAL_FAILURE} 
+							Exception_manager.last_exception then
 				l_ctrl_c := True
 				retry
 			end