I get it, you're right on the calculation.

However I would not add the rule on the minimum of armies because the attacker does not choose the number of engaged armies. What do you think ?