wxMaxima:fix