Errata from #22