bug : unhighlight of hotstring was not complete