No need for length check.  It's implied by the next check.