You are right, it should not matter right now (I added a comment to that effect).
This was added to ensure consistency of state.