diff --git a/js/ui/extensionSystem.js b/js/ui/extensionSystem.js
index 4cdaa3dad..d9cdf77e4 100644
--- a/js/ui/extensionSystem.js
+++ b/js/ui/extensionSystem.js
@@ -432,7 +432,7 @@ var ExtensionManager = class extends Signals.EventEmitter {
         let { uuid, dir, type } = oldExtension;
 
         // Then unload the old extension.
-        this.unloadExtension(oldExtension);
+        await this.unloadExtension(oldExtension);
 
         // Now, recreate the extension and load it.
         let newExtension;