Minor fixes (style)