Minor corrections to mix.exs