Minor changes in the bootstrap file.