diff --git a/docs/manual/resource-leak-checker.tex b/docs/manual/resource-leak-checker.tex
index db6bcea6b78..6fc0f49bbdb 100644
--- a/docs/manual/resource-leak-checker.tex
+++ b/docs/manual/resource-leak-checker.tex
@@ -635,9 +635,10 @@
 \sectionAndLabel{Resource Leak Checker Annotation Inference Algorithm}{resource-leak-checker-inference-algo}
 
 We have developed a specialized algorithm to infer annotations for
-the Resource Leak Checker. This algorithm runs by default when the
-\<-Ainfer> flag is enabled. To utilize the whole-program inference mechanism outlined in
-section \ref{whole-program-inference} in addition to this mechanism for the Resource
+the Resource Leak Checker. The RLC uses this algorithm by default
+when the \<-Ainfer> flag is passed, instead of the standard
+whole-program-inference (WPI) algorithm described in Section
+\ref{whole-program-inference}. To use WPI in addition to the specialized algorithm for the Resource
 Leak Checker and its sub-checkers, you should provide the \<-AenableWpiForRlc> flag.  The paper
 ``Inference of Resource Management Specifications''~\cite{ShadabGTEKLLS2023} (OOPSLA 2023,
 \myurl{https://homes.cs.washington.edu/~mernst/pubs/resource-inference-oopsla2023-abstract.html})