dependency information (mathpartir)
two typos
Merge pull request #1 from gasche/master

Fix two (potential) typos