pointer-set.c (pointer_set_destroy): Correct whitespace.