diff --git a/html/pages/device.inc.php b/html/pages/device.inc.php
index 0a7db6db76..421274b63c 100644
--- a/html/pages/device.inc.php
+++ b/html/pages/device.inc.php
@@ -130,9 +130,13 @@ if (device_permitted($_GET['id']) || $check_device == $_GET['id'])
   </li>';
     }
 
-    if ($config['enable_ospf']) { $ospf_menu = 1; }
+    if ($config['enable_ospf'])
+    {
+      $ospf_count = mysql_result(mysql_query("select count(*) from ospf_instances WHERE device_id = '" . $device['device_id'] . "'"), 0);
+      if ($ospf_count) { $ospf_menu = 1; }
+    }
 
-    if(isset($bgp_menu) || isset($ospf_menu) || isset($isis_menu) || isset($eigrp_menu) || isset($bgp_menu)) 
+    if (isset($bgp_menu) || isset($ospf_menu) || isset($isis_menu) || isset($eigrp_menu)) 
     {
       echo('<li class="' . $select['routing'] . '">
     <a href="device/' . $device['device_id'] . '/routing/">