Avoid slightly more copying, even though this doesn't have such a great impact.