Add explanation in section Correct the return of main()