Fix a silly bug in CUDA-id to NVML-id mapping. Closes #801.