I am getting the impression, from the multiple requests in the support forum by developers for people to open support tickets, that in these last few weeks of development problems with support tickets will get a lot more attention than those without. So if you think this needs to be fixed, go here, and read the information at the bottom about opening a support ticket, and open one.