Fix examples.php