You were right about the meaning for "repair" I intended. Thanks. Fascinating etymology!