fix bootstrap: