Adapting Tiny to the correction of the width in its code