Better spacing at examples/basic.php