diff --git a/acpi-id.adoc b/acpi-id.adoc
index 5078c25..6f9e399 100644
--- a/acpi-id.adoc
+++ b/acpi-id.adoc
@@ -1,7 +1,7 @@
 [[acpi-ids]]
 === RVI-specific ACPI IDs
 
-ACPI ID is used in the `_HID` (Hardware ID), `_CID` (Compatibility ID) or
+ACPI ID is used in the `_HID` (Hardware ID), `_CID` (Compatible ID) or
 `_SUB` (Subsystem ID) objects as described in the ACPI Specification for
 devices, that do not have a standard enumeration mechanism. The ACPI ID
 consists of two parts: a vendor identifier followed by a product identifier.
diff --git a/acpi.adoc b/acpi.adoc
index 18e58b3..e3796a3 100644
--- a/acpi.adoc
+++ b/acpi.adoc
@@ -33,7 +33,7 @@ available to an OS loader via the standard `UEFI EFI_GRAPHICS_OUTPUT_PROTOCOL` i
  * Revision 4 or later of SPCR.
  * For NS16550-compatible UARTs:
  ** Use `Interface Type` 0x12 (16550-compatible with parameters defined in Generic Address Structure).
- ** There MUST be a matching AML device object with compatible ID `RSCV0003`.
+ ** There MUST be a matching AML device object with `_HID` (Hardware ID) or `_CID` (Compatible ID) `RSCV0003`.
 2+| _See <<acpi-guidance-spcr, additional guidance>>_.
 | [[acpi-namespace-dev]]`ACPI_080` | PLIC/APLIC namespace devices MUST
 be present in the ACPI namespace whenever corresponding MADT entries are