diff --git a/main/acle.md b/main/acle.md
index 6f757cb4..4cfb3521 100644
--- a/main/acle.md
+++ b/main/acle.md
@@ -4712,7 +4712,7 @@ architectural state differently. For example:
    void (*ptr2)() __arm_out("za");
    void (*ptr3)() __arm_inout("za");
    void (*ptr4)() __arm_preserves("za");
-   void (*ptr4)();
+   void (*ptr5)();
 
    void test() {
      ptr1 = f1;    // OK