little fix with highlight plugin