===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.30
retrieving revision 1.31
diff -u -r1.30 -r1.31
--- www/arm64.html	2020/04/15 10:04:09	1.30
+++ www/arm64.html	2020/04/15 23:34:28	1.31
@@ -61,7 +61,7 @@
 </pre>
 
 <p>
-The Raspberry Pi 4 is only supported when using EDK2-base UEFI
+The Raspberry Pi 4 is only supported when using EDK2-based UEFI
 firmware.  By default the boot ROM will only try to load the firmware
 off an SD card.  As with the Raspberry Pi 3 there is no SD/MMC driver
 yet, but there are no manual steps needed to boot from a USB disk