Fix incoherent bdd format.