dist/bootstrap: trivial adjustments