Fixing docblock in bootstrap.php