diff --git a/src/secmod_eddsa.ml b/src/secmod_eddsa.ml
index 15922916..7db483e0 100644
--- a/src/secmod_eddsa.ml
+++ b/src/secmod_eddsa.ml
@@ -165,9 +165,9 @@ let t =
 
 (*
   - sign
-  - verify
   - expose future_sk list
   - purge
+  - revoke
   - schedule tasks
   - !lock