another fix for highlighting