Minor changes: style adjustments