Add a couple comments to bootstrap.py; #1081