Fix bootstrap.