1 files changed, 2 insertions, 2 deletions
diff --git a/rcfile_l.l b/rcfile_l.l
index 2be9938b..b49311b4 100644
--- a/rcfile_l.l
+++ b/rcfile_l.l
@@ -42,9 +42,9 @@ service		{ return SERVICE; }
 port		{ return PORT; }
 interval	{ return INTERVAL; }
 auth(enticate)?	{ return AUTHENTICATE; }
-kerberos_v4	{ return KERBEROS4; }
+kerberos(_v)?4	{ return KERBEROS4; }
+kerberos(_v)?5	{ return KERBEROS5; }
 kerberos	{ return KERBEROS; }
-kerberos_v5     { return KERBEROS5; }
 timeout		{ return TIMEOUT;}
 envelope	{ return ENVELOPE; }
 qvirtual	{ return QVIRTUAL; }