diff --git a/user/hardware/certified-hardware.md b/user/hardware/certified-hardware.md
index 2ca4e0eb..5b02ad58 100644
--- a/user/hardware/certified-hardware.md
+++ b/user/hardware/certified-hardware.md
@@ -135,7 +135,7 @@ SLAT functionality that the underlying hardware offers (and which we require).
 Among other things, this implies **proper DMAR ACPI table** construction.
 
 Most laptops use PS/2 connections internally for their input devices (i.e.,
-keyboard and touchpad). On non-laptop devices, however, USB-connected keyboards
+keyboard and touchpad). On most desktops, however, USB-connected keyboards
 and mice have become standard. This presents a dilemma when the computer has
 only one USB controller. If that single USB controller is dedicated solely to
 the input devices, then no untrusted USB devices can be used. Conversely, if
diff --git a/user/hardware/system-requirements.md b/user/hardware/system-requirements.md
index 9898f805..e959f0b3 100644
--- a/user/hardware/system-requirements.md
+++ b/user/hardware/system-requirements.md
@@ -63,8 +63,8 @@ details).
 
 - Hardware switches for all built-in USB-connected microphones (if any)
 
-- On non-laptops, either support for non-USB input devices or a separate USB
-  controller only for input devices
+- Either support for non-USB input devices (e.g., via PS/2, which most laptops
+  already use internally) or a separate USB controller only for input devices
 
 ## Choosing Hardware