else, these pointers should be explicitly set to NULL