Fix typo with bootstrap.py