fixing some formatting stuff