Updated comment in Example.php.