BF: dartel flag not well propagated