--- wikisrc/ports/evbarm/raspberry_pi.mdwn	2020/10/15 19:50:42	1.133
+++ wikisrc/ports/evbarm/raspberry_pi.mdwn	2020/10/15 19:56:44	1.134
@@ -219,7 +219,7 @@ The program vcgencmd, referenced in the 
 ## Updating dtb files
 
 (This is harder than it should be.)
-Build a release.  gunzip the armv7.img, vnconfig it, and mount the MSDOS partition (e) e.g. on /mnt.  Copy the dtb files from /mnt/*.dtb to /boot, and from /mnt/dtb/*.dtb to /mnt/dtb.
+Build a release.  gunzip the armv7.img, vnconfig it, and mount the MSDOS partition (e) e.g. on /mnt.  Copy the dtb files from /mnt/foo.dtb to /boot, and from /mnt/dtb/foo.dtb to /mnt/dtb.
 
 It seems that some systems, including RPI, require dtb files in /boot, and some expect  them in /boot/dtb.