Re #8717 Probably no copy clone is needed.