Gas inlet pipes