Ah, I see. It may not be in the scope of this PR, but can the exception type be specialized a bit more?