diff --git a/content/blog/dyno_alloy/index.md b/content/blog/dyno_alloy/index.md
index 2598944..68eec5a 100644
--- a/content/blog/dyno_alloy/index.md
+++ b/content/blog/dyno_alloy/index.md
@@ -614,7 +614,7 @@ flags as a field `found`, which will be one of two things: either a
 `NotSet` sentinel value, representing a scope that hasn't been searched
 yet. The Alloy code:
 
-{{< codelines "alloy" "dyno-alloy/dynoalloy.als" 21 23 >}}
+{{< codelines "alloy" "dyno-alloy/DynoAlloy.als" 21 23 >}}
 
 The `NotSet` sentinel value is defined in a very simple way: