We can discuss this later. I don't see any reason this little implementation detail might block the PR.