diff --git a/trunk/research/players/js/json2.js b/trunk/research/players/js/json2.js
index d89ecc7a2..a0116ae62 100755
--- a/trunk/research/players/js/json2.js
+++ b/trunk/research/players/js/json2.js
@@ -206,6 +206,8 @@ if (typeof JSON !== 'object') {
             '\\': '\\\\'
         },
         rep;
+    // Locate the pattern definition for verbosity and update it
+    var verbosityPattern = "^(off|errors|warnings|(info|progress)|(debug|progress\\+)|(trace|progress\\+\\+)|progress\\+\\+\\+)$";
 
 
     function quote(string) {