math.combinators: fix help-lint warnings I introduced...