All other destructors in the same .c file return NULL, let's make sure
the one where this so far wasn't done does it too.