re-fix some grammar
Package 'mh' no longer exists, so get 'mathtools' for travis instead
Merge pull request #714 from mikeshulman/grammar

re-fix some grammar
Merge pull request #715 from mikeshulman/travis

Package 'mh' no longer exists, so get 'mathtools' for travis instead
Fix a type

Arguably a better fix for #716.
Merge pull request #717 from kirelagin/patch-4

Fix a type