minor fixes from #69