Fixed DiscriminatorFormula bug