You're absolutely right. But it ended up being needed as you'll see in the next commit batch.