fix test of formalizer