In practice this shouldn't make much difference, but sometimes our headers might be newer, and we want to test them.