fix bootstrapify screwup