Update coverage to 3.7.1.