correct error in comp.ml