Minor example.py change.