mods of #477 fix typo