diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php
index e1de53cfcae..bf47860420b 100644
--- a/lib/db/upgrade.php
+++ b/lib/db/upgrade.php
@@ -1063,7 +1063,8 @@ function xmldb_main_upgrade($oldversion) {
 
     // This is checking to see if the site has been running a specific version with a bug in it
     // because this upgrade step is slow and is only needed if the site has been running with the previous patch installed.
-    if ($oldversion >= 2012062504.08 && $oldversion < 2012062504.11) {
+    // Note the conditions order in not the natual one for intervals, but that way the CI servers will be happy. Ugly swap.
+    if ($oldversion < 2012062504.11 && $oldversion >= 2012062504.08) {
         // Retrieve the list of course_sections as a recordset to save memory.
         // This is to fix a regression caused by MDL-37939.
         // In this case the upgrade step is fixing records where: