correction of mix.exs