Bugfix: Corrected the provider filenames

(No idea what I was thinking)