minor cahnge to runAndCheck