cl_khr_icd specification and NVIDIA driver 195.62

Khronos has recently published a ratified ICD extension specification:
[url=“http://www.khronos.org/registry/cl/extensions/khr/cl_khr_icd.txt”]http://www.khronos.org/registry/cl/extensi.../cl_khr_icd.txt[/url]

I’m using the 195.62 driver on XP64 and as far as I can tell the NVIDIA ICD (nvcuda.dll) exports a function named clIcdDispatchGetPlatformIDsKHR instead of the specified clIcdGetPlatformIDsKHR and the ICD loader (OpenCL.dll) that NVIDIA ships expects the same convention. Is this correct and if so does NVIDIA intend to ship an updated driver that matches the specification soon? This would make interoperability with other OpenCL ICDs much smoother.

Thanks.