corrections from #201