fix some formatting