fix some bootstrap stuff