diff --git a/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj b/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj
index 337e8edd8..f546abf93 100644
--- a/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj
+++ b/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj
@@ -64,9 +64,9 @@
System.Collections.Immutable can be removed once dafny.msbuild is updated with
https://github.com/dafny-lang/dafny.msbuild/pull/10 and versioned
-->
-
+
-
+
diff --git a/Examples/runtimes/net/Examples.csproj b/Examples/runtimes/net/Examples.csproj
index 98be03fbf..6f3c1133d 100644
--- a/Examples/runtimes/net/Examples.csproj
+++ b/Examples/runtimes/net/Examples.csproj
@@ -11,9 +11,9 @@
-
-
-
+
+
+