Pool repair