Some minor style adjustments