diff --git a/Source/DafnyRuntime/DafnyRuntimeSystemModule.cs b/Source/DafnyRuntime/DafnyRuntimeSystemModule.cs
index de2ff0baf4..d0e8ea5dea 100644
--- a/Source/DafnyRuntime/DafnyRuntimeSystemModule.cs
+++ b/Source/DafnyRuntime/DafnyRuntimeSystemModule.cs
@@ -1,7 +1,7 @@
 // Dafny program systemModulePopulator.dfy compiled into C#
 // To recompile, you will need the libraries
 //     System.Runtime.Numerics.dll System.Collections.Immutable.dll
-// but the 'dotnet' tool in net8.0 should pick those up automatically.
+// but the 'dotnet' tool in .NET should pick those up automatically.
 // Optionally, you may want to include compiler switches like
 //     /debug /nowarn:162,164,168,183,219,436,1717,1718