Fix a bootstrap issue

Cancelled