This issue has been fixed in the meantime.