maxima: fix