Fixed bug 3232, latex error.