fixing up some formatting