improve output in model checking dialog