Removed .err instruction of .highlight