Fixing up some formatting