diff: parse ws-error-highlight option more strictly