fix tritone highlighting