Fixed model checking issues.