Oh, I see.  Is it the case that we always print these with indentation disabled?  If so, then we'd be OK with a string.  If not, carry on.