Fix highlight for 9:*