Thanks for reporting this, Michael. I will look into that tomorrow. It is likely some mistake on my side.