diff --git a/kdc/default_config.c b/kdc/default_config.c
index b30dc6559..1441c3161 100644
--- a/kdc/default_config.c
+++ b/kdc/default_config.c
@@ -296,6 +296,6 @@ krb5_kdc_pkinit_config(krb5_context context, krb5_kdc_configuration *config)
 
     }
 
-    return 0
+    return 0;
 #endif /* PKINIT */
 }