dehighlight() changed