corrected commenting out in check.ml