diff --git a/modules/plugins/languages/tex/build/builders/tectonic.nix b/modules/plugins/languages/tex/build/builders/tectonic.nix
index fb0a187d..13bab492 100644
--- a/modules/plugins/languages/tex/build/builders/tectonic.nix
+++ b/modules/plugins/languages/tex/build/builders/tectonic.nix
@@ -143,7 +143,7 @@ in (
         description = "Enable/disable colorful log output";
       };
 
-      extraOptions = {
+      extraOptions = mkOption {
         type = listOf str;
         default = [];
         description = ''