fix key-repeat annoyingness