diff --git a/CNAME b/CNAME
index 2ee95fc0f6..ee666106a2 100644
--- a/CNAME
+++ b/CNAME
@@ -1 +1 @@
-apalach.informal.systems
\ No newline at end of file
+apalache.informal.systems
\ No newline at end of file