It is OK now, after using your function. (This same function also fixed the same problem in the other subdomain). You are a rare genius. I am most grateful.
I quite understand that fixing other plugin bugs is out of the scope of this forum. I will do my best to keep to this forum rule.
Meanwhile, I will try raising this issue in woocommerce support forum.