Make some tweaks to example.py