Fix navigation output file header bug (unrelated to any other changes)