Don't repeat exception name if it's redundant; pretty-print exception details