diff --git a/Source/Directory.Build.props b/Source/Directory.Build.props
index 0c24a6c28..357df272e 100644
--- a/Source/Directory.Build.props
+++ b/Source/Directory.Build.props
@@ -2,7 +2,7 @@
 
   <!-- Target framework and package configuration -->
   <PropertyGroup>
-    <Version>3.4.3</Version>
+    <Version>3.4.4</Version>
     <TargetFramework>net6.0</TargetFramework>
     <GeneratePackageOnBuild>false</GeneratePackageOnBuild>
     <Authors>Boogie</Authors>
diff --git a/Source/VCGeneration/Splits/Split.cs b/Source/VCGeneration/Splits/Split.cs
index 8285894a4..4f5f304c6 100644
--- a/Source/VCGeneration/Splits/Split.cs
+++ b/Source/VCGeneration/Splits/Split.cs
@@ -114,7 +114,7 @@ private void PrintSplit() {
           Thread.Sleep(100);
         }
 
-        var prefix = this is ManualSplit manualSplit ? manualSplit.Token.ShortName : "";
+        var prefix = this is ManualSplit manualSplit ? "-" + manualSplit.SplitIndex + manualSplit.Token.ShortName : "";
         var name = Implementation.Name + prefix; 
         using var writer = printToConsole
           ? new TokenTextWriter("<console>", Options.OutputWriter, false, Options.PrettyPrint, Options)