minor fix to bootstrap