hopefully fix some formatting