diff --git a/docs/codeql/ql-language-reference/ql-language-specification.rst b/docs/codeql/ql-language-reference/ql-language-specification.rst
index af5be717ef6..25b25dc82f1 100644
--- a/docs/codeql/ql-language-reference/ql-language-specification.rst
+++ b/docs/codeql/ql-language-reference/ql-language-specification.rst
@@ -773,7 +773,7 @@ Binding sets are checked by the QL compiler in the following way:
 A predicate may have several different binding sets, which can be stated by using multiple ``bindingset`` annotations on the same predicate.
 
 +----------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+------------+
-| Pragma         | Classes | Characters | Member predicates | Non-member predicates | Imports | Fields | Modules | Aliases | Signatures |
+| Annotation     | Classes | Characters | Member predicates | Non-member predicates | Imports | Fields | Modules | Aliases | Signatures |
 +================+=========+============+===================+=======================+=========+========+=========+=========+============+
 | ``bindingset`` |         | yes        | yes               | yes                   |         |        |         |         | (yes)      |
 +----------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+------------+