Fixes #760. push() strangely modifies first element of another array.