I guess I can take the blame for that :-)

In the PCB design software there is no (easy) way to tell it what the "green mask" color will be and it presumes that it will be "red" ... even though the name says it all...