diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
index 303ce249..4c06a724 100644
--- a/.config/dotnet-tools.json
+++ b/.config/dotnet-tools.json
@@ -9,7 +9,7 @@
       ]
     },
     "microsoft.coyote.cli": {
-      "version": "1.5.8",
+      "version": "1.5.9",
       "commands": [
         "coyote"
       ]
diff --git a/Common/version.props b/Common/version.props
index e7a8937c..4560d3cd 100644
--- a/Common/version.props
+++ b/Common/version.props
@@ -2,7 +2,7 @@
 <!-- This file may be overwritten by automation. Only values allowed here are VersionPrefix and VersionSuffix. -->
 <Project>
   <PropertyGroup>
-    <VersionPrefix>1.5.8</VersionPrefix>
+    <VersionPrefix>1.5.9</VersionPrefix>
     <VersionSuffix></VersionSuffix>
   </PropertyGroup>
 </Project>
diff --git a/History.md b/History.md
index c74c6099..9e89dfad 100644
--- a/History.md
+++ b/History.md
@@ -1,3 +1,6 @@
+## v1.5.9
+- Improved the runtime to try enforce atomicity when invoking a specification `Monitor`.
+
 ## v1.5.8
 - Fixed a bug in `coyote rewrite` related to rewriting nested types.
 
diff --git a/Tests/compare-rewriting-diff-logs.ps1 b/Tests/compare-rewriting-diff-logs.ps1
index 673bbe15..f394e83f 100644
--- a/Tests/compare-rewriting-diff-logs.ps1
+++ b/Tests/compare-rewriting-diff-logs.ps1
@@ -13,11 +13,11 @@ $targets = [ordered]@{
 }
 
 $expected_hashes = [ordered]@{
-    "rewriting" = "F5E3957A5A543A7769E6AC850F7F98C805A1D13C69E6B66709385C04950A1038"
-    "rewriting-helpers" = "39FC78DE1837458A2499920F3ED4F5C5530E57F12AAEB71943C4D85DD806A2C9"
-    "testing" = "8734CDBF7314F1CE029EB25BAEA811A00FD0C6D13158B30AA1E01DAFDCBE0043"
-    "actors" = "69EFE3F29868C6042F8C5058A56F16903198A7EF2D5A483168339E044402BB6C"
-    "actors-testing" = "867A47531B86162C95DB32C0349B39D680C7B3788A9EA9E2D8EE152EDF76D1A6"
+    "rewriting" = "6E2426A0B0EDBB50FA55923884CABC2A14245D3DA501ED352A3DAFF9ECBED469"
+    "rewriting-helpers" = "C4CC6809E57FB8F56081AB1FB72F0478B8031F97952DFFB7AD5B0CF11892532C"
+    "testing" = "0701531AE1DC178BF0F902A255138179FA2EF365F1987D57DC60BE48D04195FC"
+    "actors" = "57E2792321F211CB71FBD3B056A358DD63212069C5F6B88E9D661C0D3860347E"
+    "actors-testing" = "5F6525D396F37691C3D74A5E24197B27578036F5488BBDBC610054204DB6E2DF"
 }
 
 Write-Comment -prefix "." -text "Comparing the test rewriting diff logs" -color "yellow"