From: Ralf Treinen <treinen@debian.org>
Date: Thu, 5 Sep 2019 13:01:02 +0200
Subject: Fix typo in messages issued by the program.

Forwarded: 2011-10-21
---
 src/launch.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/launch.ml b/src/launch.ml
index 78ddc8e..38eaf96 100644
--- a/src/launch.ml
+++ b/src/launch.ml
@@ -92,7 +92,7 @@ Options.add
       set_policy Exec))
   "  set the security policy to \"Exec\" mode, i.e.\
   \n\t all embedded applications are automatically executed.\
-  \n\t Unless explicitely required, this mode does not apply.";;
+  \n\t Unless explicitly required, this mode does not apply.";;
 
 Options.add
   "-safer"
@@ -102,7 +102,7 @@ Options.add
       set_policy Safer))
   "  set the security policy to \"Safer\" mode, i.e.\
   \n\t external applications are simply ignored.\
-  \n\t Unless explicitely required, this mode does not apply.";;
+  \n\t Unless explicitly required, this mode does not apply.";;
 
 Options.add
   "-ask"
