It would be good to eliminate this allocation, too, but somewhat tricky.  Probably outside the scope of this pull request.