diff --git a/UPDATING b/UPDATING
index 278d1e6f83ab..f56423447471 100644
--- a/UPDATING
+++ b/UPDATING
@@ -52,7 +52,7 @@ NOTE TO PEOPLE WHO THINK THAT FreeBSD 12.x IS SLOW:
 ****************************** SPECIAL WARNING: ******************************
 
 20170620:
-	Switch back to the BSDL dtc (Device Tree Compiler), Set WITH_GPL_DTC
+	Switch back to the BSDL dtc (Device Tree Compiler). Set WITH_GPL_DTC
 	if you require the GPL compiler.
 
 20170618:
diff --git a/share/man/man5/src.conf.5 b/share/man/man5/src.conf.5
index 571b7e6edeb6..4a4c8e83cc6a 100644
--- a/share/man/man5/src.conf.5
+++ b/share/man/man5/src.conf.5
@@ -1,6 +1,6 @@
 .\" DO NOT EDIT-- this file is generated by tools/build/options/makeman.
 .\" $FreeBSD$
-.Dd June 8, 2017
+.Dd June 20, 2017
 .Dt SRC.CONF 5
 .Os
 .Sh NAME
@@ -764,9 +764,9 @@ by linking against libgnuregex.
 Set to not build
 .Xr gpioctl 8
 as part of the base system.
-.It Va WITHOUT_GPL_DTC
-Set to build the BSD licensed version of the device tree compiler rather
-than the GPLed one from elinux.org.
+.It Va WITH_GPL_DTC
+Set to build the GPL'd version of the device tree compiler from elinux.org,
+instead of the BSD licensed one.
 .It Va WITHOUT_GSSAPI
 Set to not build libgssapi.
 .It Va WITHOUT_HAST