Minor fixes to the style