fixing some formatting bugs