diff --git a/basis/compiler/cfg/builder/alien/params/params.factor b/basis/compiler/cfg/builder/alien/params/params.factor
index ff7d11b4e3..7b45d247c7 100644
--- a/basis/compiler/cfg/builder/alien/params/params.factor
+++ b/basis/compiler/cfg/builder/alien/params/params.factor
@@ -6,7 +6,7 @@ IN: compiler.cfg.builder.alien.params
 
 SYMBOL: stack-params
 
-GENERIC: alloc-stack-param ( reg -- n )
+GENERIC: alloc-stack-param ( rep -- n )
 
 M: object alloc-stack-param ( rep -- n )
     stack-params get
diff --git a/basis/compiler/cfg/linear-scan/live-intervals/live-intervals-docs.factor b/basis/compiler/cfg/linear-scan/live-intervals/live-intervals-docs.factor
index a479c315e1..3b0f0fc5d8 100644
--- a/basis/compiler/cfg/linear-scan/live-intervals/live-intervals-docs.factor
+++ b/basis/compiler/cfg/linear-scan/live-intervals/live-intervals-docs.factor
@@ -2,4 +2,9 @@ USING: help.markup help.syntax ;
 IN: compiler.cfg.linear-scan.live-intervals
 
 HELP: <live-interval>
+{ $values
+  { "vreg" "virtual register" }
+  { "reg-class" "register class" }
+  { "live-interval" live-interval-state }
+}
 { $description "Creates a new live interval for a virtual register. Initially the range is empty." } ;
diff --git a/basis/compiler/cfg/stacks/local/local-docs.factor b/basis/compiler/cfg/stacks/local/local-docs.factor
index dd4028178a..3970fcb886 100644
--- a/basis/compiler/cfg/stacks/local/local-docs.factor
+++ b/basis/compiler/cfg/stacks/local/local-docs.factor
@@ -18,7 +18,7 @@ HELP: translate-local-loc
   { $example
     "USING: compiler.cfg.stacks.local compiler.cfg.registers namespaces prettyprint ;"
     "T{ current-height { d 3 } } current-height set D 7 translate-local-loc ."
-    "D 4"
+    "T{ ds-loc { n 4 } }"
   }
 } ;
 
diff --git a/basis/cpu/architecture/architecture-docs.factor b/basis/cpu/architecture/architecture-docs.factor
index 80f67ce818..34df497020 100644
--- a/basis/cpu/architecture/architecture-docs.factor
+++ b/basis/cpu/architecture/architecture-docs.factor
@@ -136,7 +136,12 @@ HELP: return-regs
 { $description "What registers that will be used for function return values of which class." } ;
 
 HELP: stack-cleanup
-{ $values { "stack-size" integer } { "return" "a c type" } { "abi" abi } }
+{ $values
+  { "stack-size" integer }
+  { "return" "a c type" }
+  { "abi" abi }
+  { "n" integer }
+}
 { $description "Calculates how many bytes of stack space the caller of the procedure being constructed need to cleanup. For modern abi's the value is almost always 0." }
 { $examples
   { $unchecked-example
diff --git a/basis/stack-checker/alien/alien-docs.factor b/basis/stack-checker/alien/alien-docs.factor
index 6b67babaf9..db710100d8 100644
--- a/basis/stack-checker/alien/alien-docs.factor
+++ b/basis/stack-checker/alien/alien-docs.factor
@@ -26,7 +26,7 @@ HELP: param-prep-quot
 } ;
 
 HELP: callback-parameter-quot
-{ $values { "params" alien-node-params } }
+{ $values { "params" alien-node-params } { "quot" quotation } }
 { $description "Builds a quotation which coerces values on the stack to the required types for an alien callback. This word is essentially the opposite to " { $link param-prep-quot } "." }
 { $examples
   { $unchecked-example
@@ -40,7 +40,7 @@ HELP: infer-alien-invoke
 { $description "Appends the necessary SSA nodes for performing an " { $link alien-invoke } " call to the IR tree being constructed." } ;
 
 HELP: wrap-callback-quot
-{ $values { "params" alien-node-params } { "quot" quotation } }
+{ $values { "params" alien-node-params } { "quot" quotation } { "quot'" quotation } }
 { $description "Wraps the given quotation in protective packaging so that it becomes suitable to be used as an alien callback. That means that the parameters are unpacked from C types to Factor types and, if the callback returns something, the top data stack item is afterwards converted to a C compatible value." }
 { $examples
   "Here a callback that returns the length of a " { $link c-string } " is wrapped:"