Electronic leak detectors