diff --git a/sys/boot/common/commands.c b/sys/boot/common/commands.c
index 7fba019153b..03c93e92a14 100644
--- a/sys/boot/common/commands.c
+++ b/sys/boot/common/commands.c
@@ -211,6 +211,14 @@ command_help(int argc, char *argv[])
 
 COMMAND_SET(commandlist, "?", "list commands", command_commandlist);
 
+/*
+ * Please note: although we use the pager for the list of commands,
+ * this routine is called from the ? FORTH function which then
+ * unconditionally prints some commands. This will lead to anomalous
+ * behavior. There's no 'pager_output' binding to FORTH to allow
+ * things to work right, so I'm documenting the bug rather than
+ * fixnig it.
+ */
 static int
 command_commandlist(int argc, char *argv[])
 {