fix typo from #1477