#5272: fix unassigned pointer