fix a double INDEX_HEADER

worked around an unexpected case where a resident index has 2
INDEX_HEADER, the first invalid