dependency information (mathpartir)
two typos