Yeah, it's a quirk of the existing API. I'll submit a new PR to the shell to fix it there and update this PR accordingly.