That is not really relevant for this commit. Though if you have a suggestion of how this could be better implemented, I'd love to hear it.