I can't think of a better name though -- I'm changing it to your suboptimal suggestion, and adding a comment.