diff --git a/admin/renderer.php b/admin/renderer.php
index d823e0e7465..d6913c1cf24 100644
--- a/admin/renderer.php
+++ b/admin/renderer.php
@@ -597,8 +597,7 @@ class core_admin_renderer extends plugin_renderer_base {
 
             if (is_null($otherplugin)) {
                 $ok = false;
-            }
-            if ($requiredversion != ANY_VERSION and $otherplugin->versiondisk < $requiredversion) {
+            } else if ($requiredversion != ANY_VERSION and $otherplugin->versiondisk < $requiredversion) {
                 $ok = false;
             }