diff --git a/doc/manual.txt b/doc/manual.txt
index 6d49bcd32d..89a417fb22 100644
--- a/doc/manual.txt
+++ b/doc/manual.txt
@@ -5321,7 +5321,7 @@ See `Ordinary vs immediate templates`_.
 compilation option pragmas
 --------------------------
 The listed pragmas here can be used to override the code generation options
-for a section of code.
+for a proc/method/converter.
 
 The implementation currently provides the following possible options (various
 others may be added later).