diff --git a/libraries/navigation/NavigationTree.class.php b/libraries/navigation/NavigationTree.class.php
index 342a7f6232..de9cc45cc1 100644
--- a/libraries/navigation/NavigationTree.class.php
+++ b/libraries/navigation/NavigationTree.class.php
@@ -548,9 +548,11 @@ class PMA_NavigationTree
             return;
         }
 
-        $separators = $node->separator;
-        if (! is_array($separators)) {
-            $separators = array($separators);
+        $separators = array();
+        if (is_array($node->separator)) {
+            $separators = $node->separator;
+        } else if (strlen($node->separator)) {
+            $separators[] = $node->separator;
         }
         $prefixes = array();
         if ($node->separator_depth > 0) {