diff --git a/examples/opt/aarch64/keccak_f1600_x1_scalar_slothy_a55_opt_a55.s b/examples/opt/aarch64/keccak_f1600_x1_scalar_slothy_a55_opt_a55.s
index 0a1bf7d7..7267e0a8 100644
--- a/examples/opt/aarch64/keccak_f1600_x1_scalar_slothy_a55_opt_a55.s
+++ b/examples/opt/aarch64/keccak_f1600_x1_scalar_slothy_a55_opt_a55.s
@@ -478,7 +478,7 @@ round_constants:
 .text
 .balign 16
 .global keccak_f1600_x1_scalar_slothy_opt_a55
-.global _keccak_f1600_x1_scalar_slothy
+.global _keccak_f1600_x1_scalar_slothy_opt_a55
 
 .macro load_constant_ptr_stack
     ldr const_addr, [sp, #(STACK_OFFSET_CONST)]
diff --git a/examples/opt/aarch64/keccak_f1600_x4_hybrid_slothy_a55_opt_a55.s b/examples/opt/aarch64/keccak_f1600_x4_hybrid_slothy_a55_opt_a55.s
index 68fa4f1e..8bb58deb 100644
--- a/examples/opt/aarch64/keccak_f1600_x4_hybrid_slothy_a55_opt_a55.s
+++ b/examples/opt/aarch64/keccak_f1600_x4_hybrid_slothy_a55_opt_a55.s
@@ -1098,7 +1098,7 @@ round_constants:
 #define KECCAK_F1600_ROUNDS 24
 
 .global keccak_f1600_x4_hybrid_slothy_opt_a55
-.global _keccak_f1600_x4_hybrid_slothy
+.global _keccak_f1600_x4_hybrid_slothy_opt_a55
 .text
 .align 4