fixing another highlighting based bug