maxima: misc tweaks.