fix some formatting stuff