Minor fix to our MML file for integrals.