Minor changes: Formatting