to repair or mend