Fix 1.a.i.9.