Gas leak detectors