another fix for keyboard_event.which