I think this is resolved now.