diff --git a/extensions/user-theme/extension.js b/extensions/user-theme/extension.js
index d0f8664d..25f5a876 100644
--- a/extensions/user-theme/extension.js
+++ b/extensions/user-theme/extension.js
@@ -43,9 +43,9 @@ export default class ThemeManager {
         }
 
         if (stylesheet)
-            global.log(`loading user theme: ${stylesheet}`);
+            log(`loading user theme: ${stylesheet}`);
         else
-            global.log('loading default theme (Adwaita)');
+            log('loading default theme (Adwaita)');
         Main.setThemeStylesheet(stylesheet);
         Main.loadTheme();
     }
diff --git a/extensions/windowsNavigator/extension.js b/extensions/windowsNavigator/extension.js
index 83b933ff..f094a158 100644
--- a/extensions/windowsNavigator/extension.js
+++ b/extensions/windowsNavigator/extension.js
@@ -212,7 +212,7 @@ class MyWorkspacesView extends WorkspacesView.WorkspacesView {
                 c = o.get_key_symbol() - Clutter.KEY_0;
                 if (c > 9 || c <= 0) {
                     this._hideTooltips();
-                    global.log(c);
+                    log(c);
                     return false;
                 }
             }