Tweaked exception deserialization