Good point. I'll add that to this PR.