Treating the inside of pipes