Fix some formatting
Fix formatting