Gas distribution