I think this patch is fixed now.