minor fixes with the style