text.py exits nicely