fixed type declaration in max.ml