fix a warning from #101