ui:  fix dropped character in match highlight