fix highlighting