fix up formatting