* src/keyboard.c (read_key_sequence): Complete last fix (bug#21403)