Copy EMPTY now that empty() doesn't