minor fix to bootstrap.php