Fix precedence bug: wrong length for big-requests preceded by sync.