fix bug introduced from #14