Small bug in bootstrap.py