modify Bootstrap.php