fix up some formatting