Minor style-adjustments