slightly improving Bootstrap.py