in this case it does not matter much, as it is for this very internal and short-lived use