CL_DEVICE_MAX_MEM_ALLOC_SIZE Incorrect?

According to OpenCL specification the minimum value for CL_DEVICE_MAX_MEM_ALLOC_SIZE is max(1/4th of CL_DEVICE_GLOBAL_MEM_SIZE, 12810241024). So it can be more than 1/4th of the total memory size, but cannot be less. Perhaps NVIDIA just misread the specification…