diff -r 38518284c200 -r 0f2b80078aeb web/webconfig.py
--- a/web/webconfig.py	Thu Oct 17 10:10:25 2013 +0200
+++ b/web/webconfig.py	Thu Sep 19 22:33:52 2013 +0200
@@ -135,7 +135,7 @@
         ('https-deny-anonymous',
          {'type': 'yn',
           'default': False,
-          'help': 'Prevent anonymous user to browse thought https version of '
+          'help': 'Prevent anonymous user to browse through https version of '
                   'the site (https-url). Login form will then be displayed '
                   'until logged',
           'group': 'web',