I've verified that it has been fixed as mentioned above.