Some more removals for aux constructing from NULL