FIX: exception2str was broken