Fixing a typo in the bootstrap script