capacity scheduler's user-limit documentation is not helpful

The example given for the user limit tunable doesn't actually show how that value comes into play. With 4 users, the Max() is 25 for both the user limit and the capacity limit (from my reading of the source). Either pushing the example to 5 users or raising the user limit to something higher than 25 would help a great deal. Also, presenting this info in tabular format showing how the max() value is in play would also be great.