Fix 1.a.i.3.