issue #12: added Shift-Ctrl keys