Fix a typo in bootstrap.sh