AFAICT from the spec, these batchsizes are completely independent.
Unless you set the batchsize after the initial command, it will default to the server default.

This does indeed seem a bit confusing but I think this fix is correct.