FIX error case in formalizer