Bug fix for array_push