reformat code according to our style