formatted formally

everything is good to go