Fix number of tests in Circulation.t