Fixed precondition on clone function.