fix typo in bug143