Formatting fixes:
Fix some formatting