--- wikisrc/ports/evbarm/raspberry_pi.mdwn	2018/11/06 03:13:59	1.86
+++ wikisrc/ports/evbarm/raspberry_pi.mdwn	2018/11/06 13:27:25	1.87
@@ -157,7 +157,7 @@ The program vcgencmd, referenced in the 
 
 A section below describes the process of updating NetBSD's copy of the firmware from upstream, with testing, by NetBSD developers.  This section is about updating a system's firmware from the firmware in a version of NetBSD.
 
-TODO: Explain where the firmware is in the source tree, and if it is in the installed system image (such as /usr/mdec).  Explain any particular cautions.
+\todo Explain where the firmware is in the source tree, and if it is in the installed system image (such as /usr/mdec).  Explain any particular cautions.
 
 ## Booting