fix AutoloadExample.php