We should document that changing these resets the enumerator.