This shouldn't make any difference for our output, but it feels clearer.