I changed NULL to null pointer

Because here, in C++ standard, we typically speak about null pointers and not about NULLs