Repairing an inflatable dinghy: fixing holes