Fix typo in Ex6.13.py.