Another fix for bootstrap.php