oops, use std::copy correctly