Fix and describe Maxima rules