Bootstrap.py bugfix