The termination is caused by the dataset having a single control. SAINTexpress-int requires at least 2 negative controls, whereas SAINTexpress-spc can deal with a single negative control.