Minor bootstrap tweak