fixed bug concerning highlighting issue