This fixes #7453.  The MathInput driver works.