Buggfix of highlighting operators - #442