Gas detectors, detection