diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index bd8e9d918..6b1ad95d6 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1746,7 +1746,7 @@ class DotNetDLLComponent(Component):
 
   <ItemGroup>
     <Compile Include="..\%s\*.cs;*.cs" Exclude="bin\**;obj\**;**\*.xproj;packages\**" />
-    <None Include="..\%s\README.md" Pack="true" PackagePath="\"/>
+    <None Include="%s\README.md" Pack="true" PackagePath="\"/>
   </ItemGroup>
 
 </Project>""" % (version, key, self.to_src_dir, self.src_dir)
diff --git a/src/api/dotnet/README.md b/src/api/dotnet/README.md
new file mode 100644
index 000000000..fe614782f
--- /dev/null
+++ b/src/api/dotnet/README.md
@@ -0,0 +1,3 @@
+# Z3 Nuget Package
+
+For more information see [the Z3 github page](https://github.com/z3prover/z3.git)