diff --git a/main/acle.md b/main/acle.md
index 607de4ab..6f757cb4 100644
--- a/main/acle.md
+++ b/main/acle.md
@@ -4705,7 +4705,7 @@ architectural state differently. For example:
    void f1() __arm_in("za");
    void f2() __arm_out("za");
    void f3() __arm_inout("za");
-   void f3() __arm_preserves("za");
+   void f4() __arm_preserves("za");
    void f5();
 
    void (*ptr1)() __arm_in("za");