better toString for Extended
terminate anyway