diff --git a/quint/apalache-tests.md b/quint/apalache-tests.md
index d455c834a..56aa13c52 100644
--- a/quint/apalache-tests.md
+++ b/quint/apalache-tests.md
@@ -226,7 +226,7 @@ An example execution:
 
 <!-- !test in can convert ApalacheCompliation.qnt to TLA+ -->
 ```
-quint compile --target tlaplus  ./testFixture/ApalacheCompilation.qnt
+quint compile --target tlaplus ./testFixture/ApalacheCompilation.qnt
 ```
 
 <!-- !test out can convert ApalacheCompliation.qnt to TLA+ -->
@@ -237,7 +237,7 @@ EXTENDS Integers, Sequences, FiniteSets, TLC, Apalache, Variants
 
 VARIABLE x
 
-A == Variant("A", <<>>)
+A == Variant("A", "U_OF_UNIT")
 
 B(__BParam_31) == Variant("B", __BParam_31)
 
@@ -272,7 +272,7 @@ q_init == init
 ================================================================================
 ```
 
-### Test that we can compile to TLA+ of the expected form with CLI confgis
+### Test that we can compile to TLA+ of the expected form with CLI configs
 
 We check that specifying `--init`, `--step`, and `--invariant` work as expected
 
diff --git a/quint/src/apalache.ts b/quint/src/apalache.ts
index a382957a8..83122e045 100644
--- a/quint/src/apalache.ts
+++ b/quint/src/apalache.ts
@@ -39,7 +39,7 @@ import type { Buffer } from 'buffer'
 import type { PackageDefinition as ProtoPackageDefinition } from '@grpc/proto-loader'
 
 const APALACHE_SERVER_URI = 'localhost:8822'
-const APALACHE_VERSION_TAG = '0.44.7'
+const APALACHE_VERSION_TAG = '0.44.9'
 // TODO: used by GitHub api approach: https://github.com/informalsystems/quint/issues/1124
 // const APALACHE_TGZ = 'apalache.tgz'