fix typo and be proved.