Follow-up to bug #8399: Table index was too long after changing the field size