With your profile, I get some red pixels on the gamut edges (in the exported image, too). Does not arise from interpolation.