Further refinements to example.py