Minor fix: highlighting for flex.