Fix bootstraping broken in #142

I'm sorry…