diff --git a/share/man/man4/ipmi.4 b/share/man/man4/ipmi.4
index cc82cb65199f..f908911378da 100644
--- a/share/man/man4/ipmi.4
+++ b/share/man/man4/ipmi.4
@@ -25,7 +25,7 @@
 .\"
 .\" $FreeBSD$
 .\"
-.Dd July 10, 2007
+.Dd October 25, 2017
 .Dt IPMI 4
 .Os
 .Sh NAME
@@ -98,7 +98,7 @@ driver implements the power cycling option to
 to implement power cycling of the system.
 The motherboard's BMC must support the chassis device and the optional
 power cycle subcomand of the chassis control command as described in section 28.3
-if the IPMI standard.
+of the IPMI standard.
 The length of time the system is off will be at least one second, but
 may be longer if the power cycle interval has been set (see section 28.9).
 .Sh IOCTLS