fix highlight command specifying output format to rtf