In what way are we not sure how this should be formatted? Does this just mean we haven't tested that this makes clients throw the correct exception? If so, that can be part of #624.