From mix to mixed

Will there ever be a more unimportant PR?