Correcting Bootstrap.php