diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml
index 2bcd7d01db..3357920d8f 100644
--- a/documentation/dev-manual/dev-manual-common-tasks.xml
+++ b/documentation/dev-manual/dev-manual-common-tasks.xml
@@ -2230,6 +2230,8 @@
Reduce the size of the kernel.
+ Look for other ways to minimize size.
+
Iterate on the process.