diff --git a/libraries/Config.php b/libraries/Config.php
index 1821191f30..dc2a97563d 100644
--- a/libraries/Config.php
+++ b/libraries/Config.php
@@ -215,7 +215,7 @@ class Config
             $this->set('PMA_USR_BROWSER_VER', intval($log_version[1]) + 4);
             $this->set('PMA_USR_BROWSER_AGENT', 'IE');
         } elseif (preg_match(
-            '@OmniWeb/([0-9]\.[0-9]{1,2})@',
+            '@OmniWeb/([0-9]{1,3})@',
             $HTTP_USER_AGENT,
             $log_version
         )) {