Gas leak near downtown Wichita under control