Fix the filenames I screwed up in arm-5

I confused 'main' with 'index' with my 'structured_facts' file. This commit corrects that confusion.