diff --git a/lib/krb5/version-script.map b/lib/krb5/version-script.map
index 8facf14ed..b6490d528 100644
--- a/lib/krb5/version-script.map
+++ b/lib/krb5/version-script.map
@@ -745,7 +745,7 @@ HEIMDAL_KRB5_2.0 {
 		_krb5_s4u2self_to_checksumdata;
 
 		# kinit helper
-		_krb5_get_init_creds_opt_set_pkinit_user_certs
+		_krb5_get_init_creds_opt_set_pkinit_user_certs;
 		_krb5_pk_enterprise_cert;
 
 		# testing