Fixing bug in bootstrap.py.