diff --git a/NEWS.md b/NEWS.md
index 5e25f87f3..02d807d24 100644
--- a/NEWS.md
+++ b/NEWS.md
@@ -374,12 +374,12 @@ Changes to the Mercury standard library
 
 * The following predicates have been added:
 
-    - pred `recognize_options/7`
-    - pred `recognize_all_options/7`
+    - pred `recognize_options/8`
+    - pred `recognize_all_options/8`
 
 * The following predicate has been marked obsolete:
 
-    - pred `record_arguments/7` (replacement: `getopt.recognize_options/7`)
+    - pred `record_arguments/8` (replacement: `getopt.recognize_options/8`)
 
 ### Changes to the `hash_table` module
 
diff --git a/library/getopt.m b/library/getopt.m
index 19411f4c4..fa0f9049e 100644
--- a/library/getopt.m
+++ b/library/getopt.m
@@ -683,7 +683,7 @@
     list(string)::in, list(string)::out, list(string)::out,
     maybe_option_error(OptionType)::out,
     list(option_value(OptionType))::out) is det.
-:- pragma obsolete(pred(record_arguments/8), [recognize_arguments/8]).
+:- pragma obsolete(pred(record_arguments/8), [recognize_options/8]).
 
 %---------------------------------------------------------------------------%
 
diff --git a/library/getopt_io.m b/library/getopt_io.m
index 86081a6d0..11f277bdf 100644
--- a/library/getopt_io.m
+++ b/library/getopt_io.m
@@ -687,7 +687,7 @@
     list(string)::in, list(string)::out, list(string)::out,
     maybe_option_error(OptionType)::out,
     list(option_value(OptionType))::out) is det.
-:- pragma obsolete(pred(record_arguments/8), [recognize_arguments/8]).
+:- pragma obsolete(pred(record_arguments/8), [recognize_options/8]).
 
 %---------------------------------------------------------------------------%