Fix docstring of PHPUnit bootstrap