fix grassifier.ml