diff --git a/Source/DafnyTestGeneration/PathBasedModifier.cs b/Source/DafnyTestGeneration/PathBasedModifier.cs
index e71e319427e..7c177e54a97 100644
--- a/Source/DafnyTestGeneration/PathBasedModifier.cs
+++ b/Source/DafnyTestGeneration/PathBasedModifier.cs
@@ -43,7 +43,7 @@ protected override IEnumerable<ProgramModification> GetModifications(Program p)
         bool newPathsFound = true;
         // Consider paths of increasing length, pruning out infeasible sub-paths in the process:
         while (newPathsFound) {
-          List<Path> pathsToConsider = new(); // paths without nown unfeasible subpaths
+          List<Path> pathsToConsider = new(); // paths without known unfeasible subpaths
           var totalPaths = 0;
           foreach (var path in GeneratePaths(implementation, pathLength - PathLengthStep, pathLength)) {
             totalPaths++;