In a reverse of write_html(), write_tex() is declared with three
parameters, but only called with two.
Removing the third parameter is fine as it is unused.
write_html() is declared as taking two parameters, but the call to it
passes three.
We fix this by dropping the third parameter, which was labelled 'DUMMY'
anyway.
