minor modifications of key bindings