diff --git a/ChangeLog b/ChangeLog
index f6ff8a3b..96d60365 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -15,6 +15,7 @@
 	* src/global.c (assign_keyinfo): Decombine repetitive condition.
 	* src/global.c (assign_keyinfo, shortcut_init): Give nicer names
 	to the dedicated keys, for when they show up in the help lines.
+	* src/rcfile.c (parse_binding): K-keys no longer exist.
 
 2014-04-16  Benno Schulenberg  <bensberg@justemail.net>
 	* src/winio.c (get_mouseinput): Properly find also the zeroeth
diff --git a/src/rcfile.c b/src/rcfile.c
index 8c1c2b82..2b7b0c2d 100644
--- a/src/rcfile.c
+++ b/src/rcfile.c
@@ -499,7 +499,7 @@ void parse_binding(char *ptr, bool dobind)
 	}
     }
 
-    if (keycopy[0] != 'M' && keycopy[0] != '^' && keycopy[0] != 'F' && keycopy[0] != 'K') {
+    if (keycopy[0] != '^' && keycopy[0] != 'M' && keycopy[0] != 'F') {
 	rcfile_error(N_("Key name must begin with \"^\", \"M\", or \"F\""));
 	return;
     }