fix example/bootstrap.php