Fix a little regression in the toolkit highlighting introduced by the previous commit fixing quality flaws