Fix 1.8.i.7.