Josh wrote:
...

While I'll agree it's not Code-compliant as others have said, on
existing work I'd not bother to change out a wire; just mark the ends
and go on w/ correct color coding from there.

This is, of course, assuming that they did actually do what is said and
not a mis-identification...

--