This has been fixed.