Fix minor bug in full_model_check.cpp