better messages in fetch-mail.py