GAO may have saved the government even more money