duplicate of copy held elsewhere, not appropriate for this API