We now include the String and the SDoc in the exception, and don't
flatten them into a String until near the top-level