Small fixes (mostly of console-related hotkeys)