Leaking pipes or pipe joints