fixed bad highlighting?