Why is `type != defaultBootstrapperType` needed? It's a minor thing, but seems redundant?