fix for highlighting