fine-tuned the output of the design checker