slightly improving Bootstrap.py
fix merge