Minor fix: pointer used by mistake in last commit