diff --git a/lib/krb5/krb5.conf.5 b/lib/krb5/krb5.conf.5
index bac94b5f7..1013a78d8 100644
--- a/lib/krb5/krb5.conf.5
+++ b/lib/krb5/krb5.conf.5
@@ -1077,12 +1077,6 @@ an optional unit (the default unit is
 Indicates whether a client may request longer lifetimes than
 their authentication credentials.
 Defaults to false.
-If a
-.Li force_cert_lifetime
-is specified, then
-.Li allow_extra_lifetime
-is implicitly forced to
-.Va true .
 .It Li require_initial_kca_tickets = Va boolean
 Specified whether to require that tickets for the
 .Li kca_service