Changes to support MAXIMA summer work.