Fixing bug in test bootstrap.php