Fix a few small tyops from #26