diff --git a/lib/krb5/krb5.3 b/lib/krb5/krb5.3
index ace5ac607..9e696851c 100644
--- a/lib/krb5/krb5.3
+++ b/lib/krb5/krb5.3
@@ -245,11 +245,16 @@ krb5_free_keyblock_contents.3
 krb5_free_krbhst.3
 krb5_free_principal.3
 krb5_free_ticket.3
+krb5_fwd_tgt_creds.3
 krb5_generate_random_block.3
 krb5_generate_random_keyblock.3
 krb5_generate_subkey.3
 krb5_get_all_client_addrs.3
 krb5_get_all_server_addrs.3
+krb5_get_cred_from_kdc.3
+krb5_get_cred_from_kdc_opt.3
+krb5_get_credentials.3
+krb5_get_credentials_with_flags.3
 krb5_get_default_config_files.3
 krb5_get_default_principal.3
 krb5_get_default_realm.3
@@ -258,6 +263,7 @@ krb5_get_err_text.3
 krb5_get_error_string.3
 krb5_get_extra_addresses.3
 krb5_get_fcache_version.3
+krb5_get_forwarded_creds.3
 krb5_get_host_realm.3
 krb5_get_ignore_addresses.3
 krb5_get_in_cred.3
@@ -285,6 +291,7 @@ krb5_get_init_creds_opt_set_renew_life.3
 krb5_get_init_creds_opt_set_salt.3
 krb5_get_init_creds_opt_set_tkt_life.3
 krb5_get_init_creds_password.3
+krb5_get_kdc_cred.3
 krb5_get_krb524hst.3
 krb5_get_krb_admin_hst.3
 krb5_get_krb_changepw_hst.3