minor style adjustments