diff --git a/src/libcore/vec.rs b/src/libcore/vec.rs
index bd67be910f04..22dfa12fae65 100644
--- a/src/libcore/vec.rs
+++ b/src/libcore/vec.rs
@@ -2520,15 +2520,15 @@ mod tests {
         assert results == ~[~[]];
 
         results = ~[];
-        permute(~[7], |v| results += ~[copy v]);
+        permute(~[7], |v| push(results, copy v));
         assert results == ~[~[7]];
 
         results = ~[];
-        permute(~[1,1], |v| results += ~[copy v]);
+        permute(~[1,1], |v| push(results, copy v));
         assert results == ~[~[1,1],~[1,1]];
 
         results = ~[];
-        permute(~[5,2,0], |v| results += ~[copy v]);
+        permute(~[5,2,0], |v| push(results, copy v));
         assert results ==
             ~[~[5,2,0],~[5,0,2],~[2,5,0],~[2,0,5],~[0,5,2],~[0,2,5]];
     }
diff --git a/src/libstd/net_ip.rs b/src/libstd/net_ip.rs
index a6357c9fbb7d..4e23e3a15928 100644
--- a/src/libstd/net_ip.rs
+++ b/src/libstd/net_ip.rs
@@ -275,7 +275,7 @@ extern fn get_addr_cb(handle: *uv_getaddrinfo_t, status: libc::c_int,
                         result::Err(GetAddrUnknownError));
                     break;
                 };
-                out_vec += ~[move new_ip_addr];
+                vec::push(out_vec, move new_ip_addr);
 
                 let next_addr = ll::get_next_addrinfo(curr_addr);
                 if next_addr == ptr::null::<addrinfo>() as *addrinfo {