Rename Final-Size -> Final-Length