Fix bug in bootstrap.py