repaired bug in bootstrap script