diff --git a/man2/prctl.2 b/man2/prctl.2
index 4e2d67345..d7c7c4c6f 100644
--- a/man2/prctl.2
+++ b/man2/prctl.2
@@ -833,12 +833,13 @@ These calls fail if the CPU or kernel does not support MPX.
 Kernel support for MPX is enabled via the
 .BR CONFIG_X86_INTEL_MPX
 configuration option.
-You can check whether the CPU supports MPX by looking for the 'mpx'
+You can check whether the CPU supports MPX by looking for the
+.I mpx
 CPUID bit, like with the following command:
 .IP
 .in +4n
 .EX
-cat /proc/cpuinfo | grep ' mpx '
+cat /proc/cpuinfo | grep \(aq mpx \(aq
 .EE
 .in
 .IP