Avoid #push in flatten