diff --git a/admin/renderer.php b/admin/renderer.php
index f0aae313da7..93b22c66368 100644
--- a/admin/renderer.php
+++ b/admin/renderer.php
@@ -599,8 +599,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;
             }