fixes incorrect highlighting