fixed nav file so fixed format test is named ok