Fix headers in index of symbols and index