There is no key.set(), so we need to explicitly copy the attributes.