minor changes for keyboard shortcuts