Update doc for formalizer