fixed minor error in Check