diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml
index dc6ed46971..d1c090ba90 100644
--- a/documentation/dev-manual/dev-manual-common-tasks.xml
+++ b/documentation/dev-manual/dev-manual-common-tasks.xml
@@ -5089,7 +5089,7 @@
This configuration file will be your baseline.
Separately run the
- do_configme and
+ do_kernel_configme and
do_kernel_configcheck tasks.
Take the resulting list of files from the
@@ -5117,7 +5117,7 @@
After you have worked through the output of the kernel
configuration audit, you can re-run the
- do_configme and
+ do_kernel_configme and
do_kernel_configcheck tasks to
see the results of your changes.
If you have more issues, you can deal with them as