Fix 1.a.i.6.