added output file, in case you can't typeset it