cosmetic: formatting of a keyboard shortcut
no summary available