Typos.
Fix a bug in model creation.

When considering a collection of (say) lower bound, we'd add 1 for
each bound!   What we want to do is pick the largest lower bound,
and just add 1 once at the end.
Bump version.