This is now fixed.