sodium: fix help-lint warnings.

diff --git a/extra/sodium/secure-memory/secure-memory-docs.factor b/extra/sodium/secure-memory/secure-memory-docs.factor
index 8e10455b7a5bbb2c4c7d8fb4867147acb08f5420..a6f802f6256e56362c26b72fd1dab7e6526ecbfa 100644 (file)
--- a/extra/sodium/secure-memory/secure-memory-docs.factor
+++ b/extra/sodium/secure-memory/secure-memory-docs.factor
@@ -53,14 +53,14 @@ HELP: allow-write-access
 HELP: with-read-access
 { $values
   { "secure-memory" secure-memory }
-  { "quot: ( secure-memory -- )" quotation }
+  { "quot" { $quotation ( ..a secure-memory -- ..b ) } }
 }
 { $description "Temporarily allow read-only access to the " { $snippet "secure-memory" } " for the duration of the " { $snippet "quot" } " call. When the quotation terminates, disable the access using " { $link allow-no-access } "." } ;
 
 HELP: with-write-access
 { $values
   { "secure-memory" secure-memory }
-  { "quot: ( secure-memory -- )" quotation }
+  { "quot" { $quotation ( ..a secure-memory -- ..b ) } }
 }
 { $description "Temporarily allow read and write access to the " { $snippet "secure-memory" } " for the duration of the " { $snippet "quot" } " call. When the quotation terminates, disable the access using " { $link allow-no-access } "." } ;