diff --git a/include/package/PackageDescription/Basic.juvix b/include/package/PackageDescription/Basic.juvix
index c4df1d2e09..92c68e3204 100644
--- a/include/package/PackageDescription/Basic.juvix
+++ b/include/package/PackageDescription/Basic.juvix
@@ -1,3 +1,15 @@
 module PackageDescription.Basic;
 
-type Package := basicPackage;
+--- A ;Package; defines the configuration for a Juvix package
+type Package :=
+  --- A package with the following settings:
+  ---
+  --- name: "my-project"
+  --- version: 0.0.0
+  --- dependencies: The default standard library
+  --- main: nothing
+  --- buildDir: nothing
+  ---
+  --- Use this in situations where you don't want the package configuration file
+  --- to use the standard library.
+  basicPackage;