diff --git a/Common/GmshSocket.h b/Common/GmshSocket.h
index 8435237e7bd79b814c0406174477194f2dcee2ab..b64542f587aa7ecf6e2eb3a0058ec819fed0353b 100644
--- a/Common/GmshSocket.h
+++ b/Common/GmshSocket.h
@@ -79,6 +79,8 @@ class GmshSocket{
     GMSH_PARAM_QUERY_ALL = 25,
     GMSH_PARAM_QUERY_END = 26,
     GMSH_CONNECT         = 27,
+    GMSH_OLPARSE         = 28,
+    GMSH_PARAM_NOT_FOUND = 29,
     GMSH_SPEED_TEST      = 30,
     GMSH_OPTION_1        = 100,
     GMSH_OPTION_2        = 101,
diff --git a/Common/onelab.h b/Common/onelab.h
index 2160cf9513589b80353e9b45df3081d0fa0671ea..df96583af9abbee9a5405bd682258ed657c3d298 100644
--- a/Common/onelab.h
+++ b/Common/onelab.h
@@ -1072,10 +1072,14 @@ namespace onelab{
           // do NOT return until all parameters have been downloaded
         }
         else if(type == GmshSocket::GMSH_PARAM_QUERY_END){
+	  // all parameters have been sent
+          return true;
+        }
+        else if(type == GmshSocket::GMSH_PARAM_NOT_FOUND){
+          // parameter not found
           return true;
         }
         else if(type == GmshSocket::GMSH_INFO){
-          // parameter not found or all aparameters have been sent
           return true;
         }
         else{