diff --git a/lib/krb5/krb5_locl.h b/lib/krb5/krb5_locl.h
index fbf4fbd2c..068b20c2e 100644
--- a/lib/krb5/krb5_locl.h
+++ b/lib/krb5/krb5_locl.h
@@ -55,9 +55,18 @@ krb5_get_default_realm(krb5_context context,
 
 krb5_error_code krb5_config_parse_file (const char *fname,
 					krb5_config_section **res);
-char *krb5_config_get_string (krb5_config_section *c, char *section, ...);
-char *krb5_config_vget_string (krb5_config_section *c,
-			       char *section, va_list args);
+const char *krb5_config_get_next (krb5_config_section *c,
+				  krb5_config_binding **pointer,
+				  int type,
+				  ...);
+const char *krb5_config_vget_next (krb5_config_section *c,
+				   krb5_config_binding **pointer,
+				   int type,
+				   va_list args);
+const char *krb5_config_get_string (krb5_config_section *c,
+				    ...);
+const char *krb5_config_vget_string (krb5_config_section *c,
+				     va_list args);
 
 int
 krb5_getportbyname (const char *service,