Fix 1.a.i.5.