diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php
index 3d453f45641..a4a39ffc1cd 100644
--- a/lib/db/upgrade.php
+++ b/lib/db/upgrade.php
@@ -2578,6 +2578,6 @@ function xmldb_main_upgrade($oldversion) {
         // Main savepoint reached.
         upgrade_main_savepoint(true, 2013092700.01);
     }
-        
+
     return true;
 }