I'll add a comment. This is never actually called, but it makes a little bit more useful info show up in my debugger. So I don't care much about performance.