Bugfix: faulty multiple provider selection.

Closes #3067.