From 129b74143722edf3c69942365d216a2ca2a8d478 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Wed, 30 Sep 2009 18:52:01 -0500
Subject: [PATCH] fix the help lints

---
 basis/random/random-docs.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/basis/random/random-docs.factor b/basis/random/random-docs.factor
index 79e38ec3b6..cd645750db 100755
--- a/basis/random/random-docs.factor
+++ b/basis/random/random-docs.factor
@@ -34,7 +34,7 @@ HELP: random
 } ;
 
 HELP: random-32
-{ $values { "elt" "a 32-bit random integer" } }
+{ $values { "n" "a 32-bit random integer" } }
 { $description "Outputs 32 random bits. This word is more efficient than calling " { $link random } " because no scaling is done on the output." } ;
 
 HELP: random-bytes