diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index a2c2bcba881..27af7d5ceb6 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -28882,10 +28882,10 @@ in
     window-corner-preview = callPackage ../desktops/gnome/extensions/window-corner-preview { };
     window-is-ready-remover = callPackage ../desktops/gnome/extensions/window-is-ready-remover { };
     workspace-matrix = callPackage ../desktops/gnome/extensions/workspace-matrix { };
-
+  } // lib.optionalAttrs (config.allowAliases or false) {
     nohotcorner = throw "gnomeExtensions.nohotcorner removed since 2019-10-09: Since 3.34, it is a part of GNOME Shell configurable through GNOME Tweaks.";
     mediaplayer = throw "gnomeExtensions.mediaplayer deprecated since 2019-09-23: retired upstream https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md";
-  } // lib.optionalAttrs (config.allowAliases or false) {
+
     unite-shell = gnomeExtensions.unite; # added 2021-01-19
     arc-menu = gnomeExtensions.arcmenu; # added 2021-02-14
   };