Fix bootstrap.py bug