fix bug from #133