MINOR CHANGE
FIX push and flatten using *