minor update of bootstrap debugging