@@ -517,7 +517,7 @@ A [real-time operating system](https://en.wikipedia.org/wiki/Real-time_operating
517517* Raptor Computing Systems® is a registered trademark of Timothy Pearson in the United States and/or other countries.
518518* OpenVMS is a trademark or registered trademark of VMS Software, Inc. in the United States and/or other countries.
519519* Fujistu® is a trademark or registered trademark of Fujitsu Limited. in the United States and/or other countries.
520- * SPARC® is a trademark or registered trademarks of SPARC International, Inc. in the United States and/or other countries.
520+ * SPARC® is a trademark or registered trademark of SPARC International, Inc. in the United States and/or other countries.
521521* Lenovo® is a trademark or registered trademark of Lenovo Group Ltd. in the United States and/or other countries.
522522* USENIX℠ is a servicemark of the Advanced Computing Systems Association in the United States and/or other countries.
523523* O'Reilly Media is a trade name of O'Reilly Media, Inc. in the United States and/or other countries.
@@ -530,7 +530,7 @@ A [real-time operating system](https://en.wikipedia.org/wiki/Real-time_operating
530530* X Window System™, Project Athena™, Athena™, and Kerbos™ are trademarks of the Massachusetts Institute of Technology.
531531* DEC™, PDP-11™, DECnet™, DECstations™, VMS™, ULTRIX™, Digital™, Digital UNIX™, VAX™ are trademarks of Digital Equipment Corporation.
532532* OPNsense® is a trademark or registered trademark of Deciso B.V.
533- * Intel™ is a trademarks of Intel Corporation or its subsidiaries in the U.S. and/or other countries.
533+ * Intel™ is a trademark of Intel Corporation or its subsidiaries in the U.S. and/or other countries.
534534* Palm is a registered trademark of Wide Progress Global Limited.
535535* LG is a registered trademark of LG Corp.
536536* Cyanogenmod is a registered trademark of Cyanogenmod, LLC.
0 commit comments