Fixing some formatting