Index: generic/src/debug/print.c
===================================================================
--- generic/src/debug/print.c	(revision b524c5e0c4ab2be7669474ed11d7d797b4d5e53b)
+++ generic/src/debug/print.c	(revision 96cacc151c2f49c7146a7f6e2384a276d4f1ffe3)
@@ -153,8 +153,4 @@
  * X    As with 'x', but '0x' is prefixed.
  *
- * .    The decimal number following period will be treated as precision
- *      for printing floating point numbers. One of 'e', 'E', 'f' or 'F'
- *      must follow.
- *
  * All other characters from fmt except the formatting directives
  * are printed in verbatim.