diff --git a/modules/gnome-extensions/gnome-extensions.tsp b/modules/gnome-extensions/gnome-extensions.tsp
index 00cf946..bcffb09 100644
--- a/modules/gnome-extensions/gnome-extensions.tsp
+++ b/modules/gnome-extensions/gnome-extensions.tsp
@@ -11,7 +11,7 @@ model GnomeExtensionsModule {
     /** List of GNOME extensions to install. 
      * (case sensitive extension names or extension IDs from https://extensions.gnome.org/)
     */
-    install?: Array<string>;
+    install?: Array<string | integer>;
 
     /** List of system GNOME extensions to uninstall. 
      * Only use this to remove extensions not installed by your package manager. Those extensions should be uninstalled using the package manager instead.