A problem with using * in a grammar with LaTeX output has hopefully been fixed.