Fix phpdoc typo in boostrap.php