I'll add a TODO in the source file with your explanation, and resolve it during the next merge.