I mean I can change it if it's the thing that blocks this PR. I don't have a hard opinion on this one anything that work is fine by me. I recall someone asked the same thing earlier too.