Dix off-by-one errors induced by tightening some array bounds.