Fix error in bootstrap script