Make amends w.r.t. the first test case