Added some logging in the wmi code