re #104: Highlight command name