fix typo in bug572