Fix errors in check3