Devices for detecting gas leak