Fixed a couple of minor typos in bootstrap script