diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php
index 3987a1b5190..0bde28f14b1 100644
--- a/lib/db/upgrade.php
+++ b/lib/db/upgrade.php
@@ -120,6 +120,8 @@ function xmldb_main_upgrade($oldversion) {
                 set_config('defaultuserroleid', null);
             }
         }
+    /// Main savepoint reached
+        upgrade_main_savepoint($result, 2008051200);
     }
 
     if ($result && $oldversion < 2008051201) {