small tweak in style