steve.py: fixed format_exc stack trace