fix a bootstrap helper bug