diff --git a/mkdocs_juvix/env.py b/mkdocs_juvix/env.py
index 3089b62..d9b937e 100644
--- a/mkdocs_juvix/env.py
+++ b/mkdocs_juvix/env.py
@@ -370,7 +370,7 @@ def compute_processed_filepath(
 
     def unqualified_module_name(self, filepath: Path) -> Optional[str]:
         log.debug(f"Computing unqualified module name for {filepath}")
-        if not self.juvix_enabled:
+        if not self.JUVIX_AVAILABLE:
             log.debug("Juvix is not enabled, returning None")
             return None
         fposix: str = filepath.as_posix()
@@ -379,7 +379,7 @@ def unqualified_module_name(self, filepath: Path) -> Optional[str]:
         return os.path.basename(fposix).replace(".juvix.md", "")
 
     def qualified_module_name(self, filepath: Path) -> Optional[str]:
-        if not self.juvix_enabled:
+        if not self.JUVIX_AVAILABLE:
             return None
         absolute_path = filepath.absolute()
         cmd = [self.JUVIX_BIN, "dev", "root", absolute_path.as_posix()]
diff --git a/pyproject.toml b/pyproject.toml
index c47ca92..a3bc5b7 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "mkdocs-juvix-plugin"
-version = "0.4.8"
+version = "0.4.9"
 description = "MkDocs documentation with support for Juvix Markdown files"
 authors = ["Jonathan Prieto-Cubides, and GitHub contributors"]
 license = "MIT"