--- wikisrc/ports/evbarm/raspberry_pi.mdwn	2020/10/15 19:58:19	1.135
+++ wikisrc/ports/evbarm/raspberry_pi.mdwn	2020/10/15 20:07:30	1.136
@@ -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/foo.dtb to /boot, and from /mnt/dtb/foo.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 /boot/dtb.
 
 It seems that some systems, including RPI, require dtb files in /boot, and some expect them in /boot/dtb.