diff --git a/docs/man/xen-pv-channel.pod.7 b/docs/man/xen-pv-channel.pod.7
index 2333083cce..226418ad94 100644
--- a/docs/man/xen-pv-channel.pod.7
+++ b/docs/man/xen-pv-channel.pod.7
@@ -108,7 +108,7 @@ socket, writes a handshake message and waits for a reply
 
 =item 6.
 
-Assuming the guest kernel has CONFIGI<HVC>XEN_FRONTEND set then the console
+Assuming the guest kernel has CONFIG_HVC_XEN_FRONTEND set then the console
 driver will generate a hotplug event