minor follow-up: ensure pointer references are set to nil