Upgrade for formation-core fix