Do not encode high index section IDs on flush