fixing some formatting things