finetuning the formatting when autotesting