shortcut_catcher: tiny style fix