Typo in bootstrap.php