simpler bootstrap code