minor fix of the style