diff --git a/core/inference/inference-docs.factor b/core/inference/inference-docs.factor
index 5900e5a844..7d43187f54 100755
--- a/core/inference/inference-docs.factor
+++ b/core/inference/inference-docs.factor
@@ -92,7 +92,7 @@ ARTICLE: "inference-errors" "Inference errors"
 { $subsection missing-effect } ;
 
 ARTICLE: "inference" "Stack effect inference"
-"The stack effect inference tool is used to check correctness of code before it is run. It is also used by the compiler to build a dataflow graph on which optimizations can be performed. Only words for which a stack effect can be inferred will compile."
+"The stack effect inference tool is used to check correctness of code before it is run. It is also used by the optimizing compiler to build a dataflow graph on which optimizations can be performed. Only words for which a stack effect can be inferred will compile with the optimizing compiler; all other words will be compiled with the non-optimizing compiler (see " { $link "compiler" } ")."
 $nl
 "The main entry point is a single word which takes a quotation and prints its stack effect and variable usage:"
 { $subsection infer. }