Clarify that Final-Length must not be negative