fixing dehighlight function