diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml
index b58ba36e51..c11f2b3ff7 100644
--- a/documentation/dev-manual/dev-manual-common-tasks.xml
+++ b/documentation/dev-manual/dev-manual-common-tasks.xml
@@ -8265,7 +8265,7 @@ Some notes from Cal:
These types of situations are usually due to references
to machine-specific variables such as
MACHINE,
- SERIAL_CONSOLE,
+ SERIAL_CONSOLES,
XSERVER,
MACHINE_FEATURES,
and so forth in code that is supposed to only be