===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.25
retrieving revision 1.26
diff -u -r1.25 -r1.26
--- www/arm64.html	2019/08/30 13:34:00	1.25
+++ www/arm64.html	2019/08/30 18:17:22	1.26
@@ -120,10 +120,11 @@
 </ul>
 
 <p>
-In general other boards/machines that use one of the SoCs listed above
-will work as well as long as UEFI firmware (e.g. U-Boot or EDK II
-firmware).  Both device trees and ACPI are supported.  An updated
-device tree may have to be supplied to make OpenBSD usable.
+In general, other boards/machines that use one of the SoCs listed above
+will work as well, as long as UEFI firmware (e.g. U-Boot or EDK II
+firmware) is available. Both device trees and ACPI are supported.
+An updated device tree may have to be supplied to make OpenBSD usable.
+
 <p>
 Support for Amlogic G12A/B and Ampere eMAG was added after OpenBSD 6.5
 was released.