diff --git a/lib/krb5/krb5.3 b/lib/krb5/krb5.3
index 979b20a46..27610bbc7 100644
--- a/lib/krb5/krb5.3
+++ b/lib/krb5/krb5.3
@@ -142,10 +142,14 @@ krb5_errx.3
 krb5_free_address.3
 krb5_free_addresses.3
 krb5_free_context.3
+krb5_free_host_realm.3
 krb5_free_krbhst.3
 krb5_free_principal.3
 krb5_get_all_client_addrs.3
 krb5_get_all_server_addrs.3
+krb5_get_default_realm.3
+krb5_get_default_realms.3
+krb5_get_host_realm.3
 krb5_get_krb524hst.3
 krb5_get_krb_admin_hst.3
 krb5_get_krb_changepw_hst.3
@@ -193,6 +197,7 @@ krb5_principal.3
 krb5_principal_get_comp_string.3
 krb5_principal_get_realm.3
 krb5_print_address.3
+krb5_set_default_realm.3
 krb5_set_warn_dest.3
 krb5_sname_to_principal.3
 krb5_sock_to_principal.3