修理,修补的英语短语是什么