You are right, but it is not used anywhere. So I removed it in a new commit.