Updated to the new bootstrap.py; small documentation correction.