No Bug: fix typo from #138