Fix bootstrap instructions