Fix help lint for user-id

diff --git a/basis/unix/users/users-docs.factor b/basis/unix/users/users-docs.factor
index c7867db2bf2ac565ad0852fb77f030861374ae6f..e676f6fef646ff840c91023a93ba302750e3e14f 100644 (file)
--- a/basis/unix/users/users-docs.factor
+++ b/basis/unix/users/users-docs.factor
@@ -62,7 +62,7 @@ HELP: user-name
 HELP: user-id
 { $values
      { "string" string }
-     { "id" integer } }
+     { "id/f" "an integer or f" } }
 { $description "Returns the user id associated with the user-name." } ;
 
 HELP: with-effective-user