webtex: fix up command-line help