diff --git a/lib/krb5/config_file.c b/lib/krb5/config_file.c
index da781edb1..db715b222 100644
--- a/lib/krb5/config_file.c
+++ b/lib/krb5/config_file.c
@@ -229,7 +229,7 @@ parse_list(FILE *f, unsigned *lineno, krb5_config_binding **parent)
 	if (buf[strlen(buf) - 1] == '\n')
 	    buf[strlen(buf) - 1] = '\0';
 	p = buf;
-	if (*p == '#')
+	if (*p == '#' || *p == ';')
 	    continue;
 	while(isspace(*p))
 	    ++p;
@@ -309,7 +309,7 @@ krb5_config_parse_file (const char *fname, krb5_config_section **res)
 	if(buf[strlen(buf) - 1] == '\n')
 	    buf[strlen(buf) - 1] = '\0';
 	p = buf;
-	if (*p == '#')
+	if (*p == '#' || *p == ';')
 	    continue;
 	while(isspace(*p))
 	    ++p;