diff --git a/pkgs/development/coq-modules/coqide/default.nix b/pkgs/development/coq-modules/coqide/default.nix
index fcc0e2a81dd4..bf76a81e5d71 100644
--- a/pkgs/development/coq-modules/coqide/default.nix
+++ b/pkgs/development/coq-modules/coqide/default.nix
@@ -43,14 +43,16 @@ mkCoqDerivation rec {
     runHook postInstall
   '';
 
-  desktopItems = makeDesktopItem {
-    name = "coqide";
-    exec = "coqide";
-    icon = "coq";
-    desktopName = "CoqIDE";
-    comment = "Graphical interface for the Coq proof assistant";
-    categories = [ "Development" "Science" "Math" "IDE" "GTK" ];
-  };
+  desktopItems = [
+    (makeDesktopItem {
+      name = "coqide";
+      exec = "coqide";
+      icon = "coq";
+      desktopName = "CoqIDE";
+      comment = "Graphical interface for the Coq proof assistant";
+      categories = [ "Development" "Science" "Math" "IDE" "GTK" ];
+    })
+  ];
 
   meta = with lib; {
     homepage = "https://coq.inria.fr";