Clarifies origin of node_pointer.h